منابع مشابه
Interactive numerals
Although Arabic numerals (like '2016' and '3.14') are ubiquitous, we show that in interactive computer applications they are often misleading and surprisingly unreliable. We introduce interactive numerals as a new concept and show, like Roman numerals and Arabic numerals, interactive numerals introduce another way of using and thinking about numbers. Properly understanding interactive numerals ...
متن کاملk-p-Infix codes and semaphore codes
In this paper we introduce the concepts of k-p-in x codes, n-k-ps-in x languages, n-k-in xout x codes, and n-k-pre x-su x languages, which are natural generalizations of our previous work on k-pre x codes, k-in x codes and so on. We obtain several properties of k-p-in x codes and semaphore codes. The relations and hierarchies of k-p-in x codes, n-k-ps-languages, and n-kpre x-su x languages, and...
متن کاملDistributed Semaphore in a Messenger Environment
The messenger paradigm advocates the exchange of programs called messengers between communicating hosts instead of messages. Each host contains a messenger execution environment called messenger platform. Messengers are expressed in a language understood by all the platforms. A distributed messenger environment is a collection of messenger platforms linked through an unreliable network offering...
متن کاملAutomatic Refinement of Split Binary Semaphore
Binary semaphores can be used to implement conditional critical regions by using the split binary semaphore (SBS) technique. Given a specification of a conditional critical regions problem, the SBS technique provides not only the resulting programs but also some invariants which ensure the correctness of the solution. The programs obtained in this way are generally not efficient. However, they ...
متن کاملSemaphore - A Model-Based Semantic Mapping Framework
This paper presents a framework and a tool devised to aid in obtaining information interoperability between enterprise applications. The approach has its foundations in the principles of model-driven architecture (MDA) and architecture-driven modernisation (ADM). The key idea is that mappings between different information formats are defined at a platformindependent level, and that the mechanis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1948
ISSN: 0028-0836,1476-4687
DOI: 10.1038/161807a0